Crate bolero_kani

source · [−]
Expand description

kani plugin for bolero

This crate should not be used directly. Instead, use bolero.